Basic science

Results: 4014



#Item
321Universal property / Lambda calculus / Functor / Combinatory logic / Initial algebra / Function / Equivalence of categories / Sheaf / Coproduct / Mathematics / Category theory / Abstract algebra

BRICS Basic Research in Computer Science BRICS RSL. Santocanale: A Calculus of Circular Proofs and its Categorical Semantics A Calculus of Circular Proofs and

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2001-05-09 04:26:17
322Military science / Nuclear strategies / Nuclear proliferation / Nuclear Non-Proliferation Treaty / Hans M. Kristensen / Nuclear disarmament / Nuclear weapons and the United Kingdom / Nuclear sharing / Nuclear arms race / Nuclear weapons / International relations / Nuclear warfare

BASIC-NPT2010-TreadingWaterin2010

Add to Reading List

Source URL: www.abolitionforum.org

Language: English - Date: 2011-08-23 11:28:19
323McMaster University / Education / Technology / Knowledge / Golder Associates / Bechtel / Lakehead University

Growing Future Scientists: Canadian Nuclear Revitalization Partners Announces Funding for Basic Science Education Team of Bechtel, Hatch, Golder Associates Joins Forces with Canada Science and Technology Museum NIAGARA F

Add to Reading List

Source URL: cnrp-prnc.com

Language: English - Date: 2015-05-20 11:03:05
324

BRICS RSGerhardy & Kohlenbach: General Logical Metatheorems for Functional Analysis BRICS Basic Research in Computer Science

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2005-08-02 06:09:30
    325Association of Commonwealth Universities / Bhubaneswar / Cuttack / Biju Patnaik University of Technology / Utkal University / Atri / Sambalpur / Berhampur / KIIT University / States and territories of India / Indian Railways / Orissa

    L18146 Acharya Manasranjan , Msc, Ph.D,Associate Professor,Dept. of Physics,,College Of Basic Science & Humanities,,O.U.A.T,Bhubaneswar,751003,ODISHA L11382

    Add to Reading List

    Source URL: www.sciencecongress.nic.in

    Language: English - Date: 2014-08-22 04:34:35
    326Computer programming / Abstract data types / Data types / Information retrieval / Cryptographic hash functions / Hash table / Hash function / Associative array / Bit array / Search algorithms / Computing / Hashing

    BRICS Basic Research in Computer Science BRICS RSPagh & Rodler: Lossy Dictionaries Lossy Dictionaries

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 2001-09-06 08:24:05
    327Operations research / NP-complete problems / Nearest neighbour algorithm / Integer sequences / Greedy algorithm / Domination analysis / Factorial / Heuristic function / Summation / Mathematics / Approximation algorithms / Travelling salesman problem

    BRICS Basic Research in Computer Science BRICS RS-01-6 Gutin et al.: Domination Analysis of Greedy-Type Heuristics for the TSP

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 2001-02-27 07:23:57
    328

    BRICS RSKirkegaard & Møller: Type Checking with XML Schema in X ACT BRICS Basic Research in Computer Science

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 2005-11-21 15:58:51
      329Graph / Matching / Bipartite graph / Independent set / Matroid theory / Tutte polynomial / Path decomposition / Graph theory / Mathematics / NP-complete problems

      BRICS Basic Research in Computer Science BRICS RSHangos et al.: Some Complexity Problems on Single Input Double Output Controllers Some Complexity Problems on

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2001-05-28 05:33:34
      330

      BRICS Basic Research in Computer Science BRICS RSAceto et al.: Equational Theories of Tropical Semirings Equational Theories of Tropical Semirings

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2001-06-11 08:03:56
        UPDATE